Buy Used and New John Derrick Books

Results for John Derrick

Showing 1 to 6 of 6 results
Refinement in Z and Object-Z: Foundations and Advanced Applications Refinement in Z and Object-Z: Foundations and Advanced Applications by John Derrick,Eerke A. Boiten

Refinement in Z and Object-Z: Foundations and Advanced Applications

by John Derrick,Eerke A. Boiten


ISBN 13: 9781447153542

Format: Hardcover (512 pages)
Publisher: Springer
Published: 12 Sep 2013

Save for later

Used : $11.94  
New : $148.57  
Used : $11.94 New : $148.57
Refinement in Z and Object-Z: Foundations and Advanced Applications Refinement in Z and Object-Z: Foundations and Advanced Applications by John Derrick,Eerke A. Boiten

Refinement in Z and Object-Z: Foundations and Advanced Applications

by John Derrick,Eerke A. Boiten


ISBN 13: 9781447161677

Format: Paperback (512 pages)
Publisher: Springer
Published: 23 Aug 2015

Save for later

 
New : $112.54  
New : $112.54
Refinement: Semantics, Languages and Applications Refinement: Semantics, Languages and Applications by John Derrick,Eerke Boiten

Refinement: Semantics, Languages and Applications

by John Derrick,Eerke Boiten


ISBN 13: 9783030064976

Format: Paperback (292 pages)
Publisher: Springer
Published: 25 Jan 2019

Save for later

 
New : $65.09  
New : $65.09
Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings (Lecture Notes in Computer Science) Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings (Lecture Notes in Computer Science) by John Derrick,John Fitzgerald,Stefania Gnesi,Sarfraz Khurshid,Michael Leuschel,Steve Reeves,Elvinia Riccobene

Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings (Lecture Notes in Computer Science)

by John Derrick,John Fitzgerald,Stefania Gnesi,Sarfraz Khurshid,Michael Leuschel,Steve Reeves,Elvinia Riccobene


ISBN 13: 9783642308840

Format: Paperback (396 pages)
Publisher: Springer
Published: 12 Jun 2012

Save for later

 
New : $65.13  
New : $65.13